$\forall$$r$:CRng. $r$$\downarrow$xmn $\in$ AbMon